package Typage;

import java.util.Iterator;
import java.util.Vector;

public class IdentList {
	private Vector<Ident> list;

	public IdentList() {
		this.list = new Vector<Ident>();
	}

	public void add(Ident x) {
		this.list.add(x);
	}

	public Iterator iterator() {
		return this.list.iterator();
	}
}
